$\forall$${\it es}$:ES, $p$:(E$\rightarrow$(E + Top)), $e$, ${\it e'}$:E. ($e$ = ${\it e'}$) $\Rightarrow$ $e$ $p$$\leq$ ${\it e'}$